# typed: true

fun (1)
